Why do they use the name Carmen in Ohio song?

There is no mention of the name "Carmen" in the lyrics of the state song of Ohio, which is titled "Beautiful Ohio".