Revised travel ban targets same seven countries, exempts green card holders