Perché usano il nome Carmen nella canzone dell'Ohio?

Non c'è alcuna menzione del nome "Carmen" nel testo della canzone di stato dell'Ohio, che si intitola "Beautiful Ohio".