The naval achievements of Great Britain, from the year 1793 to 1817