What is the biggest dinosaur in the ocean?

Strictly speaking, the sea lizards were NOT dinosaurs, but their contemporaries. The largest of these was probably the Liopleurodon. An even bigger creature, Basilosaurus, was, despite the name, not a sea lizard, but a whale.