A Naval Biographical Dictionary/Paynter, John Pender