Obama’s North Korean dilemma