Taken from Japan Probe:
The South Korean government has been pushing for English speakers to stop using the name “Sea of Japan” in favor of the Korea-centric “East Sea” name, but it seems that the South Korean postal service isn’t checking the maps it uses for its posters:
As it should be!