The population of Korea (International IDEA, 2004)