North Korea's nuclear program and the sinking of a South Korean ship