I suoi soldati catturarono altri diecimila Edomiti, li condussero in cima a una roccia e li buttarono giù: tutti morirono sfracellati.