SECTION 1. 65th Infantry Regiment Post Office Building.
Designation.— The facility of the United States Postal Service located at 100 Calle Alondra in San Juan, Puerto Rico, shall be known and designated as the “65th Infantry Regiment Post Office Building”.
References.— Any reference in 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 “65th Infantry Regiment Post Office Building”.