A Naval Biographical Dictionary/Potts, John