Trump’s revised travel ban exempts green card holders