Keep marine reptiles out of Dinosauria

Distinguish ocean reptiles such as ichthyosaurs, plesiosaurs, and mosasaurs from dinosaurs by their separate ancestry and paddle-shaped aquatic bodies. Recognize that living in the Mesozoic seas did not make an animal a dinosaur.