'East Sea' is the popular name in East Asia for a long time.
Korea has used it over It has been used in Korea over 2,000 years.
In contrast, Japan never used the name of this sea up to 18th century.
You mentioned the International Hydrographic Organization (IHO) called this area the Sea of Japan in 1929.
Therefore, ¡°East Sea¡± or ¡°East Sea/Sea of Japan¡± will be rational names for this area.
I would like to ask you to change the name in your maps.
I appreciate your patience of reading my letter,
and I am looking forward to hearing a good news from you.
Sincerely,
Seonwon Kim