Thanks for posting that. I was going to ask if it wasn't bad luck to rename a ship, especially military ships. They are christened with that name for a reason.
One of those superstitions is renaming a boat.
Historically it’s been considered bad luck to change the name of a boat. However, if you absolutely must change the name of a boat, a purging and renaming ceremony must be completed before the name is revealed or anything with the new name enters the boat.
That explains why the British Navy had so many French-named ships a couple hundred years ago. Captured them and didn’t rename.