López de Vargas Machuca, Tomás (1731-1802).