A group of marine reptiles with very large heads which became extinct at the same time as the dinosaurs.