Deuteronomy 2.33

33. And the Lord our God delivered him to us: and we slew him with his sons and all his people.