Another data point on North Korea and the world economy