North Korea 2017: What Did We Learn?