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