afsändandet af några krigsfartyg till de brasilianska farvattnen.