Traditional attribution to King David