NBC: Before Trump, a low-profile congressman named Ron DeSantis sought a 'Muslim travel ban'