war elephant

noun1

1. •
   (historical) Any elephant trained and guided by humans for combat.

   • During the Second Punic War, 218-201 BCE, Hannibal trekked 37 war elephants across the Alps from what is now Spain into Italy. — 2018