Yards and Docks Bureau. Supplemental estimate of appropriation for Navy Department, fiscal year 1942 [for Bureau of Yards and Docks for construction of public works].