Exod.17.13

And Joshua discomfited Amalek and his people with the edge of the sword.

Exod.17.13

Joshua defeated Amalek and its army in battle.

Exod.17.13

So Joshua overcame the Amalekite army with the sword.

Exod.17.13

As a result, Joshua and his troops were able to crush the army of Amalek.