“The lawsuit, filed in February by Texas and other GOP led