20170202 world.us: Green card holders exempted from travel ban: US