Siglos después, en 1743, el monje llamado Francisco de San José puso nombre al pastor de la leyenda identificándolo con Gil Cordero de Santa María, uno de los primeros pobladores del lugar.