THE HOLY BIBLE Authorized King James
2 Samuel (Author Compiled by Isaiah from records of Samuel, David, Nathan, and Gad.)
8:13And David gat him a name when he returned from smiting of the Syrians in the valley of salt, being eighteen thousand men.
2 Kings (Author Compiled by Isaiah and Jeremiah from records of Nathan, Gad, Iddo, Ahijah, Jehu and others.)
14:7He 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.
Original from The Bible Foundation - bf.org. They claim public domain status for their original text.