Deuteronomy 2:33

New International Version - UK Bible (NIVUK)

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