Email Record: To detach Pecos County, in the State of Texas, from the Del Rio Division of the Western Judicial District of Texas and attach same to the El Paso Division of the Western Judicial District of said state.