Is stock market open on 9 October