Does Porto Mauá really belongs to Argentina?

Does it really belongs to Argentina?

informacoes turísticas

Cf. critério OSM para tag "name" ("the common default name; displayed on street signs",etc.), recomendo colocar o nome "Minas do Camaquã" como nome principal, pelo qual a localidade é universalmente conhecida, que consta nas placas rodoviárias que indicam o acesso à cidade, nos grupos e festas da cidade (e colocar "Cerro do Martins", que não é usado, como alt_name).