Building Navy's bases in World War II, history of Bureau of Yards and Docks and Civil Engineer Corps, 1940-46.