Opening https://www.cnn.com/2023/07/19/politics/doj-texas-border/index.html