As far as I can tell, it wasn’t DJT’s idea, it was congressman Simpson’s idea, he snuck it into the Dept of Interior appropriations bill, and it doesn’t have a snowball’s chance in Miami to get out of the committee, much less outside of the House, much less through the Senate. It’ll be down the memory hole by August 1, if not sooner.
Melania Trump Opera House was renamed as part of the Big Beautiful Bill.