2 Kings 14.7

7. He slew of Edom in the valley of the Saltpits ten thousand men, and took the rock by war, and called the name thereof Jectehel, unto this day.