A Naval Biographical Dictionary/Petley, John