How to get serious with North Korea