What to do about North Korea?