20170130 world.us: US says green card holders exempted from travel ban