hade den brasilianska regeringen redan i lördags sina i Nordamerika inköpta krigsskepp samlade i bugten vid Rio de Janeiro och klaratill