Trump may be stopped on his travel bans, but when