FILE - Migrants are pat down by Border Patrol agents as they enter into El Paso, Texas from Ciudad Juarez, Mexico, May 10, 2023. (AP Photo/Andres Leighton, File)