(a) Designation
The facility of the United States Postal Service located at 4400 East Paisano Drive in El Paso, Texas, shall be known and designated as the Enedina Sanchez Cordero Post Office Building.
(b) References
Any reference in a law, map, regulation, document, paper, or other record of the United States to the facility referred to in subsection (a) shall be deemed to be a reference to the Enedina Sanchez Cordero Post Office Building.