North Korea: What to do?