Regardless of the location, there's editorial cartoon/headline grist in it, e.g.: "As Trump does $VERB this weekend, the United States will sink to its doom."

I would not be surprised if Ron DeSantis (Florida governor, Republican) somehow abuses his position to force a rename of the ship at the last moment, purely to avoid snarky headlines.

It's being sunk 20 miles offshore, which is out of Florida control (that extends only nine miles there; which is kind of odd since for most US states the control only extends three miles).

Seems we have angered his supporters given how the voting has changed on this since the day ago we made these comments. Their voting is not going to stop me from saying it like it is about the worst president in US history.

Kind of frustrating that our comment times get changed when a story is given a second chance (not sure why this story should qualify for a second chance on HN...) and misrepresent when we made these comments

Too on the nose.

Rename it USS Trump for the lulz.