El municipio ha tenido otros nombres oficiales a lo largo de la historia: