Oct. 3, 2025: What the shutdown means for Texas