Prečo v skladbe Ohio používajú meno Carmen?

V texte štátnej piesne štátu Ohio, ktorá nesie názov „Beautiful Ohio“, nie je žiadna zmienka o mene „Carmen“.