Home Business and Money Columbus Day markets: Trading and settlement dates for a semi-holiday