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