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.