the Department of Justice accusing the state of Texas of “judge shopping”