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".