A Naval Biographical Dictionary/Hall, William