Un mapa británico del siglo XVIII que designa las aguas entre Corea del Sur y Japón como "Mar de Corea" ha sido sacado a la luz por primera vez en Corea del Sur.

El mapa está incluido en un diccionario geográfico que se publicó en Gran Bretaña en 1760. Además, varias ediciones revisadas del diccionario fueron publicadas durante las siguientes décadas y en ellas se continuó utilizando el término "Mar de Corea".

Por otro lado, un diccionario geográfico estadounidense de 1787 y un mapa japonés de 1835 también demuestran el uso de términos similares para denominar al Mar del Este.