2KI 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.