restoration of King David