More border patrol agents headed to Texas