éléphant de mer

Noun

 * 1) sea elephant