Pourquoi utilisent-ils le nom de Carmen dans la chanson de l'Ohio ?

Il n'y a aucune mention du nom « Carmen » dans les paroles de la chanson nationale de l'Ohio, intitulée « Beautiful Ohio ».