An extinct form of an elephant