Deuteronomy 2:33

וַיִּתְּנֵהוּ יְהוָה אֱלֹהֵינוּ לְפָנֵינוּ וַנַּךְ אֹתוֹ וְאֶת-בָּנָיו וְאֶת-כָּל-עַמּוֹ

King James Version (KJV)

And the LORD our God gave him over to us, and we defeated him and his sons and all his people.

Modern English

Yahweh our God delivered him up before us; and we struck him, his sons, and all his people.