(a) Designation
The facility of the United States Postal Service located at 9995 Southeast Federal Highway in Hobe Sound, Florida, shall be known and designated as the Special Operations Chief Petty Officer Aaron Carson Vaughn 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 Special Operations Chief Petty Officer Aaron Carson Vaughn Post Office Building.