So, if sea lions are literally sea lions,

Seals are, sea panthers?

Except of course leopard seals, obvs.

(Making allowance for extra weight of blubber necessary for temperature control in the ocean)