Show of Hands

There are many people who think Columbus Day shouldn't be a holiday. To those people I say "Happy Columbus Day!" Do you think we should continue to honor Christopher Columbus with this holiday?