Fue José Damián Ortiz de Castro, maestro mayor de las obras urbanas ejecutadas, quien informó del hallazgo de la Piedra del Sol el 17 de diciembre de 1790.