Someone on CNBC said there were only 3 full trading days this week. Is the market closing early on Thursday?