Ohio has a Mingo Junction. I thought I remembered a Mingo placename in Kentucky but can't find it on any map so I may be wrong. So any Mingo Mountain, if there was one, may well have been renamed by now.

Mingo was a Native American name, seems to me I remember it as a derogatory name for one of the Delaware tribes? Perhaps mentioned in Last of the Mohicans? It's too vague in my memory for me to be sure.

Apart from that, I have no other knowledge of the name.

Sure would like to find more verses to the song, though. I do know it was current around Berea College in the mid-1950s; I heard it from a female student, introduced to me I think by Edna Ritchie. But what the student's source was I don't know.

Bob