Deuteronomy 2:33 Catholic Public Domain Version (CPDV)

And the Lord our God delivered him to us. And we struck him down, with his sons and all his people.