People, places and place names in the Republic of Korea (National Geographic Information Institute, Ministry of Land, Infrastructure and Transport, 2016)