Contas externas do Brasil registram déficit de US$ 7,1 bilhões em julho