The library will be closed on Columbus Day