the Lord our God delivered him over to us and we struck him down, together with his sons and his whole army. At that time we took all his towns and completely destroyed them—men, women and children. We left no survivors.
(Deuteronomy 2:33-34, NIV)
References: