National Guard Troops to Remain on Texas Border Until August