By the way, South Korea also uses the term East Sea and wants it to be adopted internationally. Wikipedia says that the DPRK's preferred term is "East Sea of Korea", while South Korea just uses "East Sea".