Anyone know if its closed due to Veteran's day holiday. I see there are no economic reports that day, but I didn't know if that was just coincidence or because the market is closed. Globex looks open. Thanks for the info.