20180710 world.rest-of-world: Did North Korea's Kim put potatoes over Pompeo?