¹³ And David gat him a name when he returned from smiting of the Syrians in the valley of salt, being eighteen thousand men.

⁷ He slew of Edom in the valley of salt ten thousand, and took Selah by war, and called the name of it Joktheel unto this day.