2 Kings 14:7

DouayRheims(i) 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.