NYSE Names Chief Regulatory Officer