Was the Holy Sepulchre outside the city walls?