Now- was there another RR man with first name possibly John Henry and the song variants extended to him? Or was the story passed on to cover other strong men on the railroad and in the mines? This transfer has happened in songs before; John Hardy was transformed to cover different men, times and places.