Thailand declares government holiday but stock market to stay open