Meaning of sea elephant

(noun) either of two large northern Atlantic earless seals having snouts like trunks