Tomb location in the Church of the Holy Sepulchre