mejor llamado por los pobladores como Santiaguito, el día 25 de julio.