Deuteronomy 2:33

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