How to make progress with North Korea now