Recordings of John Henry, railroad ballad