A Naval Biographical Dictionary/Grove, Francis