DEU 2:33

33 The Lord our God handed him over to us, and we killed him, his sons, and all his army.