“Hoover Dam” substituted in text for “Boulder Dam” on authority of act Apr. 30, 1947, which changed name of Boulder Dam to Hoover Dam.