gajah laut

== Indonesian == === Etymology === Compound of gajah (“elephant”) +‎ laut (“sea”), calque of Dutch zeeolifant (“elephant seal”, literally “sea elephant”). === Noun === gajah laut (plural gajah-gajah laut) (zoology) elephant seal, member of the genus Mirounga === Further reading === “gajah laut”, in Kamus Besar Bahasa Indonesia [Great Dictionary of the Indonesian Language] (in Indonesian), Jakarta: Agency for Language Development and Cultivation – Ministry of Education, Culture, Research, and Technology of the Republic of Indonesia, 2016