How much infrastructure has to be built in North Korea? (electrification, etc.)
That $40 trillion dollars in minerals will pay for a lot of power plants and wiring.