Amaziah slew of Edom in the Valley of Salt 10,000, and took Sela (Greek petra [rock]) by war, and called it Joktheel, which is the name of it to this day.