20171224 world.us: Judge partially lifts Trump administration ban on refugees