Hvorfor bruger de navnet Carmen i Ohio-sangen?

Der er ingen omtale af navnet "Carmen" i teksten til statens sang i Ohio, som har titlen "Beautiful Ohio".