Is stock market open on 1 July