San Ildefonso murió el 23 de enero, y el 24 de enero se ha dedicado a recordar el milagro.