The naval Atalantis; or, A display of the characters of such flag officers as were distinguished during the last war