[Congressional Bills 114th Congress] [From the U.S. Government Publishing Office] [H.R. 5873 Introduced in House (IH)] <DOC> 114th CONGRESS 2d Session H. R. 5873 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''. _______________________________________________________________________ IN THE HOUSE OF REPRESENTATIVES July 14, 2016 Mr. O'Rourke introduced the following bill; which was referred to the Committee on Transportation and Infrastructure _______________________________________________________________________ A BILL 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''. Be it enacted by the Senate and House of Representatives of the United States of America in Congress assembled, 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''. 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''. <all>