Title: Historical Dictionary of the United States Navy