Builders and fighters U.S. Army engineers in World War II (Office of History, United States Army Corps of Engineers, 1993)