When did José del Castillo die?

José del Castillo died in 1793.