Trump's executive order forgets to issue travel ban on Islamic State