District, history of Philadelphia District, U.S. Army, Corps of Engineers, 1866-1971 by Frank E. Snyder and Brian H. Guss.