How the upcoming Indigenous Peoples’ Day/Columbus Day will affect market hours