Varför använder de namnet Carmen i Ohio-låten?

Det finns inget omnämnande av namnet "Carmen" i texten till statens sång i Ohio, som heter "Beautiful Ohio".