Naval history of the United States, from the commencement of the revolutionary war to the present time