Trump was right about jihad immigration.