How John Henry Became an American Folk Hero