"Em 1956 chegou o primeiro pároco e na oportunidade foi eleito "São José" o padroeiro da comunidade que, associado ao nome primitivo, deu origem ao nome do município, passando a chamar-se São José do Cedro. Em 19 de março de 1957 fez-se o primeiro ato religioso, na casa de Antônio Jacoski. Os colonizadores, então, decidiram construir uma casa que serviria como capela e escola. São José do Cedro, então, era apenas distrito e pertencia a (...)."
Disponível em: https://saojosedocedro.atende.net/cidadao /pagina/apresentacao

O trecho acima descreve fatos que compõem a história do município de São José do Cedro/SC e cita a definição do nome da cidade que à época ainda era um distrito. A qual cidade pertencia esse distrito?