Being an Authentic History of the United States Navy, and Biographical Sketches of American Naval Heroes, from the Formation of the Navy to the Close of the Mexican War