33And the LORD our God delivered him over to us, and we defeated him and his sons and his whole army.
34At that time we captured all his cities and devoted to destruction the people of every city, including women and children. We left no survivors.
— Deuteronomy 2:33-34