I think it is totally OK to leave all that be and even rename Miami to Trump City *if* they have the guts for a blanket annulment of *every* *single* Trump hire and appointment where legally possible (so no judges). I bet that he removed every single protection against dismissal, so there you go.