Sepulcro del emperador Pedro II y su familia en la catedral, Petrópolis