The name of the sea between Korea and Japan is The east sea originally. Japan invaded Korea in 1910-1945 and changed the namme of the sea to The sea of Japan.
Your school history book must maintain the name of the sea name as The East Sea.
This is historical material “frozen in time”. The website is no longer updated and links to external websites and some internal pages may not work.
