Miért használják a Carmen nevet az Ohio dalban?

A "Beautiful Ohio" című Ohio állambeli dal szövegében nem szerepel a "Carmen" név.