Can someone tell me the trading hours of ES on the day bofore holidays such as Nov. 26? Thanks a lot.