John Henry--an American folklore hero who was a steel drivin' man on the railroad