I don't see that one on the list? http://business.nasdaq.com/trade/US-Options/Holiday-Trading-Hours.html