A Naval Biographical Dictionary/Phillipps, Robert