Sob Bolsonaro, BNDES registra lucro de quase R$ 10 bi no trimestre