att fred omsider slutits mellan den brasilianska regeringen och upprorsmännen i Rio Grande do Sul.