La Banda Oriental desde 1680 seguía siendo portuguesa.