Deuteronomy 2.33

33. But Jehovah our God gave him up before us; and we smote him, and his sons, and his whole people.