Por que eles usam o nome Carmen na música de Ohio?

Não há menção ao nome "Carmen" na letra da canção estadual de Ohio, intitulada "Beautiful Ohio".