Editorial: Trump’s anti-Muslim policy