13 Y Josué deshizo a Amalec y a su pueblo a filo de espada.
Exodus 17:13 Cross References - JBS
Joshua 10:28
28 ¶ En aquel mismo día tomó Josué a Maceda, y la puso a espada, y mató a su rey; a ellos y a todo lo que en ella tenía vida, sin quedar nada; mas al rey de Maceda hizo como había hecho al rey de Jericó.
Joshua 10:32
32 y el SEÑOR entregó a Laquis en mano de Israel, y la tomó al día siguiente, y la metió a espada, con todo lo que en ella había vivo, como había hecho en Libna.
Joshua 10:37
37 y tomándola, la hirieron a espada, a su rey y a todas sus ciudades, con todo lo que en ella había vivo, sin quedar nada; como habían hecho a Eglón, así la destruyeron con todo lo que en ella había vivo.
Joshua 10:42
42 Todos estos reyes y sus tierras tomó Josué de una vez; porque el SEÑOR el Dios de Israel peleaba por Israel.
Joshua 11:12
12 Asimismo tomó Josué todas las ciudades de aquellos reyes, y a todos los reyes de ellas, y los hirió a espada, y los destruyó, como Moisés siervo del SEÑOR lo había mandado.