2 Kings 14.7

7. He struck Edom in the Valley of Salt, ten thousand, and captured the Rock by war, and called its name Joktheel to this day.