Etymology Explorer › taxonomic name

Where does “Ichthyosaurus” come from?