Proč v písničce Ohio používají jméno Carmen?

Neexistuje žádná zmínka o jménu „Carmen“ v textech státní písně Ohio, která se jmenuje „Beautiful Ohio“.