Lagoa Vermelha is a municipality in the state of Rio Grande do Sul, Brazil. As of 2020, the estimated population was 27,778. Wikipedia