Leyendas del Panteón General de Toluca: La tumba del general Mirafuentes