According to international organization, "If each of two or more countries use different name, international organization advises the name's simplification, and if it can't do, it has to use both names." In fact, the sea around the Fernch Republic, the United Kingdom, the German Federal Republic, and the Kingdom of Denmark was called in may different names. However, after International Hydrographic Organization (IHO) was established, that seabecame "North Sea," because North Sea is located at northern part of Europe.
Furthermore, Dokdo, whcih is an island on the East Sea, is an intergral part of the Korean territory historically. The name, Takeshima/Liancourt Rocks seems to be taken from Japanese ot Japanese-influenced sources as Japan has illegally and inappropriately been working to use that name internationally.
The name "Dokdo" has been used by Korean people for long time. This is the legitimate name that should be used internationally. Against this back drop, we would like to request you to use the name 'Dokdo' when you refer to the island at issue, along with the name "East Sea."