"Lagoa Vermelha is a municipality in the state Rio Grande do Sul, Brazil."@en .