20180604 world.rest-of-world: North Korea's top three military officials replaced; US official says