References to John Henry first turned up in work songs and hammer songs sung by miners and railroad workers in the late 1800s.