To designate the Miami Federal Correctional Institution in Florida as the Donald J. Trump Federal Correctional Institution.

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

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