In the book of Samuel when did King David give thanks to the lord.?