Korea. Guide to geographical names in Korea (Chosen); [edited by Richard N. Hall].