(pl.) of Ichthyosaurus