¿Por qué usan el nombre Carmen en la canción de Ohio?

No se menciona el nombre "Carmen" en la letra de la canción del estado de Ohio, que se titula "Beautiful Ohio".