Sorry: Trump’s immigration order is totally legal