A Naval Biographical Dictionary/Phipps, William