Here's an update on Palaeoloxodon systematics: type species is indeed P. namadicus. Matsumoto named Palaeoloxodon in 1924; almost simultaneously Osborn ALSO created Sivalakia for E. namadicus. So moving the old Elephas antiquus into Loxodonta means diddly squat

for the genus Palaeoloxodon. (On the other hand, monophyly of the remaining Palaeoloxodon species, or their relation to Elephas, Loxodonta &/or Mammuthus still unresolved so far as I can tell.)