A big loss for Texas Democratic politics