Bede, on 2Kgs 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.”

“"He struck down ten thousand Edomites in the Valley of Salt, etc." [2 Kings 14:7] It is said of Amaziah, the king of Judah: He struck down ten thousand Edomites in the Valley of Salt, and took Sela in war, and called its name Joktheel; the Valley of Salt was where they made salt, either from a spring of brine, as in many places, or by cutting, drying, and burning, or by boiling salty well waters until they solidified into salt, or by any other method by which salt is usually made. In that place, Joab is also recorded to have struck down twelve thousand Edomites. It must also not be overlooked that the old edition, for the Valley of Salt, placed Gemelach, as if it were the name of a region. Petra, however, is a noble city of Arabia, in the same land of Edom, which in the Book of Numbers is called Rekem, and by the Syrians today is still called thus (Num. 31). Joktheel, which Amaziah as victor gave it as a name, is interpreted as the assembly of God, or the help of God, acting faithfully so that it would be recorded for perpetual memory, because he took it either with the assembly of the people of God or with God's help.”

Imported from an open dataset — not yet checked against the printed edition.