Is stock market open on 12 October