Can The Texas Power Grid Handle Demand Under A Heat Dome?