Deterring a Nuclear North Korea: What Does the Theory Tell Us?