To Koreans, the Sea of Japan is known as the East Sea