A Naval Biographical Dictionary/No. 19. – Battle of Navarino