ירושלים, קבר דוד המלך / Jerusalem, Tomb of King David