ERCOT observed holiday as defined by Protocol Section 2