Is the inventory market open on Columbus Day?

---

---