וַֽיִּתְּנֵ֛הוּ יְהוָ֥ה אֱלֹהֵ֖ינוּ לְפָנֵ֑ינוּ וַנַּ֥ךְ אֹת֛וֹ וְאֶת־בנו [בָּנָ֖יו] וְאֶת־כָּל־עַמּֽוֹ׃
And the LORD our God delivered him up before us; and we smote him, and his sons, and all his people.
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.