20180602 world.rest-of-world: Trump says June 12 summit with North Korea's Kim is back on