Éxodo 17:13

Y Josué deshizo a Amalec y a su pueblo a filo de espada.

Como resultado, Josué aplastó al ejército de Amalec en la batalla.

Fue así como Josué derrotó al ejército amalecita a filo de espada.