When does the forex market open presidents day