Finalmente se erigió un mausoleo en el Cementerio de San Miguel.