Tancredo is right and any Muslims who are not US citzens need to be deported.
To add if found to be supporting ISIS or Al-Qaeda terrorism, and are naturalized, strip them of their naturalized US citizenships after their time in jail, and then send them back to country of origin.