To designate the facility of the United States Postal Service located at 207 East Fort Dade Avenue in Brooksville, Florida, as the “Specialist Justin Dean Coleman Memorial Post Office Building”.

Designation.— The facility of the United States Postal Service located at 207 East Fort Dade Avenue in Brooksville, Florida, shall be known and designated as the “Specialist Justin Dean Coleman Memorial Post Office Building”.

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 “Specialist Justin Dean Coleman Memorial Post Office Building”.