Deuteronomy 2:33

New International Reader's Version Bible (NIRV)

But the Lord our God handed him over to us. We struck him down together with his sons and his whole army.