Designates the facility of the United States Postal Service located at 400 Whitehead Street in Key West, Florida, as the "Jimmy Buffett…

The facility of the United States Postal Service located at 400 Whitehead Street in Key West, Florida, shall be known and designated as the Jimmy Buffett Post Office Building.

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 Jimmy Buffett Post Office Building.