An elementary course of civil engineering: for the use of cadets of the United States' Military Academy