"appears to have been extant before"

Yes. Persistent and consistent testimony places "John Henry" around 1888, although a few informants claim it is older. I'm not at my office now, where I could check the date of John Hardy's hanging, but, as I recall, it was in the 1890s.