So is the US market open tonight? Or is it not?I thought it was closed for a Public Holiday; Columbus or Donald Duck or something.