Brasil emite US$2,25 bi no mercado externo em bônus de 10 anos; demanda fica em US$7,7 bi, diz fonte