I originally started this thread because I knew and loved Andy Irvine's version of this song, but vaguely knew it wasn't the original tune. None of our few Woody Guthrie albums included his original version, and I was trying to find a recording of the song as Woody had set it - which is evidently to the tune of John Hardy, which Patrick Street used as the instrumental break in Irvine's version. Great song!