океан, второе, менее употребительное название Тихого океана . Название В. о. было дано в 1752 французским географом Ж. Н. Бюашем.
Значение ВЕЛИКИЙ ОКЕАН в Большой советской энциклопедии, БСЭ
Что такое ВЕЛИКИЙ ОКЕАН
Большая советская энциклопедия, БСЭ. 2012