20191108 world.rest-of-world: South Korea deports North Koreans who fled after killing 16