King David in the Bible story