Com informações da Agência Brasil; texto adaptado pela redação do Diário Carioca.Agência Brasil, Agência pública de notícias Agência pública de notícias da Empresa Brasil de Comunicação (EBC). Distribui gratuitamente informações de interesse...