20180706 world.rest-of-world: Pompeo in Pyongyang to nail down details of North Korea agreement