וַֽיִּתְּנֵ֛הוּ יְהוָ֥ה אֱלֹהֵ֖ינוּ לְפָנֵ֑ינוּ וַנַּ֥ךְ אֹת֛וֹ וְאֶת־בנו [בָּנָ֖יו] וְאֶת־כָּל־עַמּֽוֹ׃
Mas SEÑOR nuestro Dios lo entregó delante de nosotros; y herimos á él y á sus hijos, y á todo su pueblo.
Targum Jonathan on Deuteronomy
And the Lord our God delivered him up before us, and we smote him, and his children, and all his people.