(a) Designation
The Miami Federal Correctional Institution in Florida shall, after date of the enactment of this Act, be known and designated as the Donald J. Trump Federal Correctional Institution.
(b) Reference
Any reference in any law, regulation, map, document, paper, or other record of the United States to the institution referred to in subsection (a) shall be considered to be a reference to the Donald J. Trump Federal Correctional Institution.