The prices were distributed by third-party data providers after Wall Street closed early for the July 4 break. The exchange...