SECTION 1. Designation.
The Federal building and United States courthouse located at 511 East San Antonio Avenue in El Paso, Texas, shall be known and designated as the “R.E. Thomason Federal Building and United States Courthouse”.
To designate the Federal building and United States courthouse located at 511 East San Antonio Avenue in El Paso, Texas, as the “R.E. Thomason Federal Building and United States Courthouse”.
An Act
Be it enacted by the Senate and House of Representatives of the United States of America in Congress assembled,
SEC. 2. References.
Any reference in a law, map, regulation, document, paper, or other record of the United States to the Federal building and United States courthouse referred to in section 1 shall be deemed to be a reference to the “R.E. Thomason Federal Building and United States Courthouse”.