Dlaczego używają nazwy piosenki Carmen in Ohio?

W tekście pieśni stanowej Ohio zatytułowanej „Beautiful Ohio” nie ma wzmianki o imieniu „Carmen”.