Brief survey of the major groups and species of marine mammals: whales, dolphins, porpoises, manatees, dugong, sea lions, walruses, and seals.