20170720 world.rest-of-world: Less than one aircraft carrier? The cost of North Korea's nukes