NO CLASS OCTOBER 15th: Columbus Day Observance