the invention of hard is credited to workers building the Hoover Dam