They aren’t called sea “lions” for nothing.