Family Elephantidae Gray, 1821 - elephants Genus †Archidiskodon Pohlig, 1888 see Genus Mammuthus Brookes, 1828 †Archidiskodon meridionalis (Nesti, 1825) see Mammuthus meridionalis (Nesti, 1825)