Sea lions and seals—what’s the difference?