Stock market open on Columbus Day