Additionally, it specifically states that the name Sea of Japan was not widely used, even in Japan, as late as the mid 19th century.
此外，韩方特别指出即使在日本国内，至少在19世纪中叶之前，“日本海”这个名称也没有被广泛地使用。