Jeg skjønte nettopp at mandag er Columbus Day, så aksjemarkedet åpner ikke før tirsdag dumper vi hardt tirsdag?