Waarom gebruiken ze de naam Carmen in het lied van Ohio?

De naam "Carmen" wordt niet genoemd in de tekst van het staatslied van Ohio, getiteld "Beautiful Ohio".