Border Patrol agents patrol Texas-Mexico border