What is the name of an underwater dinosaur?

There are no names of underwater dinosaurs because there were no underwater dinosaurs. Sea reptiles that lived at the same time as the dinosaurs were around. Names of these sea-living reptiles include: Liopleurodon, Opthalmosaurus and Tylosaurus.