Designates the facility of the U.S.

The facility of the United States Postal Service located at 802 North Tancahua Street in Corpus Christi, Texas, shall be known and designated as the Captain Robert E. Bob Batterson Post Office.

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 Captain Robert E. Bob Batterson Post Office.