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