“a history of the United States Navy, 1775-1991”