Columbus Day is a holiday worth celebrating.