The history of the East Sea and the Sea of Japan origin of geographical names, conflicts and solutions - Jeongbo, Shim (Springer, 2022)