A Naval Biographical Dictionary/Philipps Philipps, John