Original: It is referred to in North Korea as the Korea East Sea and in South Korea as the East Sea.
Simplified: North Korea calls it East Korea Sea.