Texas’ lawsuit against Pennsylvania