Naval biography, or, The history and lives of distinguished characters in the British Navy, from the earliest period of history to the present time