20180531 world.us: Top North Korean official meets Mike Pompeo in New York