S. 5494 — Introduced in Senate

II 118th CONGRESS 2d Session S. 5494 IN THE SENATE OF THE UNITED STATES December 11, 2024Mr. Cruz (for himself and Mr. Cornyn) introduced the following bill; which was read twice and referred to the Committee on Homeland Security and Governmental Affairs A BILL To designate the facility of the United States Postal Service located at 802 North Tancahua Street in Corpus Christi, Texas, as the Captain Robert E. Bob Batterson Post Office. 1. Captain Robert E. Bob Batterson Post Office (a) Designation 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. (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 Captain Robert E. Bob Batterson Post Office.