Texas Department of Public Safety lawsuit