“North Korea has increased its annual production capacity of fissile material to an estimated 12 to 15 bombs' worth.”