Garrido Espinosa de los Monteros, Diego, d. 1731 or 1732