Library closed on Columbus Day