Original: North Korea wants the "East Sea of Korea" name to be restored.
Simplified: North Korea calls it East Korea Sea.