Home Business and Money Columbus Day: U.S. market holiday trading hours