DOJ Files Lawsuit Against Texas Over Its Congressional Redistricting Map