A Naval Biographical Dictionary/Philipps, John George