The East Sea of Korea is the official North Korean name for the Sea of Japan. (See Dispute over the name Sea of Japan).