A Naval Biographical Dictionary/Duval, Francis