Cuando una embarcación sea llevada a puerto extranjero para hacerle