A Naval Biographical Dictionary/Cole, Robert Martin