Eventually Donald Trump will be gone and they switch the name back because mostly nobody wants it.