SECTION 1. Ryan Keith Cox Post Office Building.
Designation.— The facility of the United States Postal Service located at 2509 George Mason Drive in Virginia Beach, Virginia, shall be known and designated as the “Ryan Keith Cox 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 “Ryan Keith Cox Post Office Building”.