Toponymic guidelines for map and other editors for international use. (National Geographic Information Institute, Ministry of Land, Transport and Maritime Affairs, Republic of Korea, 2015)