doj sues texas