2 Kings 14: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.