A Naval Biographical Dictionary/Marten, Francis