A Naval Biographical Dictionary/Cole, Martin