What?
So if I understand this correctly the Spanish trolls are objecting to the loosing side in a battle naming a ship for the guy that beat them? Here is an idea, name the ship the "John Paul Jones" or the "Oliver Hazard Perry." We Yanks have no qualms about that.