Did North Korea really see its best harvest “on record last year?