It will be one reasonable solution for Korea and Japan to call this sea "East Sea" or "East Sea/Sea of Japan."
It is consistent with the IHO recommendation.
I want to consider you to update my information.
Sincerely,
Seonwon Kim