Hoover Dam’s unsung hero