Columbus Day 2018: What's open, what's closed

Unlike many holidays, what's open and what's closed varied on Columbus Day.