Deuteronomy 2:33

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

the Lord our God delivered him over to us and we struck him down, together with his sons and his whole army.

And the Lord our God delivered him before us; and we smote him, and his sons, and all his people.