This is a question about the origin of Woody's "Miner's Song"

https://woodyguthrie.org/Lyrics/Miners_Song.htm

On the above site, it says "Words and Music adapted by Woody Guthrie". I'm curious what is was adapted from. The tune sounds like a children's song. Is it perhaps traditional?

Thanks!