A Naval Biographical Dictionary/Debenham, John