The Library will be closed Monday, October 8, 2018, in observance of the Columbus Day holiday, and will reopen Tuesday, October 9, 2018, at 9:30 a.m. EDT, for normal business hours.