Although for some countries the dollar is not their official currency, how do they use the currency?