The nomenclature of the African wild ass