Builders and fighters : U.S. Army Engineers in World War II