Naval documents related to quasi-war between United States and France: Naval operations, Dec. 1800-Dec. 1801.