How much should you worry about North Korea? The SEC has some numbers on that