Passa de 9 mil o número de atingidos pela enchente no Rio Grande do Sul