Yeah exactly, hence "no doubt" rather than "no idea". His final policy seems to be very similar to Rand Paul's campaign policy, and Rand was probably the most Muslim-friendly Republican candidate running in that at least he didn't want to go and drop bombs on more of them. This was pretty inevitable regardless of which Republican won (assuming a Republican won, of course) but I think the others probably would've tried to actually get it through Congress rather than just ramming it through like this, and public debate might've simmered it a bit.