Trump’s executive order banning admission of aliens from seven Muslim-majority countries is legal.