(a) Designation The facility of the United States Postal Service located at 514 Frelinghuysen Avenue in Newark, New Jersey, shall be known and designated as the Mildred Joyce Coleman Crump 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 Mildred Joyce Coleman Crump Post Office Building.