King David’s burial