A origem do nome da cidade de Mirim Doce e a sua propria identidade cultural estão intimamente ligadas a um elemento natural marcante no início de seu povoamento. Segundo os registros locais, qual é a referência histórica que inspirou o nome do município?