A Naval Biographical Dictionary/Grove, William