But they did.
Superstition has it that to change a boat's name invites bad luck, the logical explanation is that the ship's name was carved into the keel, so to change the name would entail cutting out the old name and carving a new one, all of which might weaken the keel.
In this case I'd take the risk either way.
Also See Part 1
Government Boats 37
4 hours ago