John Henry is an African American folk hero. In the years after the Civil War, he is said to have worked as a "steel-driving man"—a man tasked with hammering a steel drill into rock to make holes for explosives to blast the rock in constructing a…