A resolution expressing the sense of the Senate that the Department of Justice should reverse its position in Texas v. United States, No. 4:18-cv-00167-O (N.D. Tex.).