stock market holiday on October 2