Currency Substitution, Portfolio Diversification, and Money Demand