SECTION 1. Petty Officer 2nd Class (seal) Matthew G. Axelson Post Office Building.
Designation.— The facility of the United States Postal Service located at 21701 Stevens Creek Boulevard in Cupertino, California, shall be known and designated as the “Petty Officer 2nd Class (SEAL) Matthew G. Axelson 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 “Petty Officer 2nd Class (SEAL) Matthew G. Axelson Post Office Building”.