Hvorfor bruker de navnet Carmen i Ohio-sangen?

Det er ingen omtale av navnet "Carmen" i teksten til statens sang i Ohio, som har tittelen "Beautiful Ohio".