(n. pl.) See Ichthyosauria.