A Naval Biographical Dictionary/Pinhorn, William