“The President of South Korea stated that North Korea can produce enough fissile material for approximately 20 bombs annually.”