20180623 world.rest-of-world: Ex-South Korean premier Kim Jong-pil; spy agency founder; dies