A history of the United States navy, from 1775 to 1898,