The naval war 1812, or, The history of the United States Navy during the last war with Great Britain