The Corps of Engineers: troops and equipment, (United States Army in World War II: The technical services)