Seals, sea lions, whales, and others are marine mammals