Sarcófago de pórfido de Pedro III el Grande, en la Iglesia del monasterio