Heard the librarian say that Monday is “Columbus Day, or Indigenous People’s Day, depending on your tradition”