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