Based on an examination of maps made in Japan in 19th century, they have all been known to use the term Sea of Chosun when referencing the East Sea.

From the 19th century reference of the Japanese maps using the term, Chosun Sea, we can know for certainty that East Sea is a maritime territory belonging to Korea or Dynasty of Chosun.

East Sea Research/Map of Japanese Empire, Donne, 1794:

Map of Japanese Empire / Donne / 1794:

Specified East Sea (Sea of Korea) as COREAN SEA