If the goods are destined for a country that is not TIR operational, how should the TIR carnet be completed?