A Naval Biographical Dictionary/Griffin, William