What is the population of South Korea?