Tesouro Direto paga valor recorde de R$ 9 bi em vencimento de título