Title: Historical Dictionary of the Republic of Korea (Historical Dictionaries of Asia, Oceania, and the Middle East)