Dom José Trazimundo de Mascarenhas Barreto, 7º Marquês de Fronteira (1802-1881)