med den senaste posten från Rio Janeiro af den 7 nov . , att 12,000 brasilianermarscherade