The population of the East Asian country of North Korea, from 1980 to 2013. The blue line represents the annual World Bank estimates, and the red dots represents the national census figures (1993 and 2008)