Which says a whale is a marine mammal
He must have an even older version of the OED than me - mine says "marine animal!" Luckily I don't rely on an outdated dictionary for scientific information!:p