United States Army in World War II: Technical services, Corps of Engineers, [v.2] War against Japan [with bibliographical note]; by Karl C. Dod.