Sua população estimada em 2010 era de 6.028 habitantes.
No século XVIII, o território pertencia ao município de Vila Buarque até 9️⃣ o início do século XIX.
A cidade foi fundada por imigrantes italianos, escravos e açorianos residentes na região de Vila Buarque 9️⃣ durante a segunda metade do século XVIII.
Em 17 de março de 1831, o Padre Inácio Pereira Peixoto Coelho fundou a 9️⃣ cidade com a denominação de Vila do Porto, e depois a cidade transformou-se em uma
paróquia católica de Santo Antônio da 9️⃣ Patrulha, em 17 de outubro de 1835.
