Definition of "ichthyosaur"

Any of several fishlike marine reptiles of the extinct order †Ichthyosauria of the early Triassic to the late Cretaceous period, that had a body somewhat like a porpoise.  examples