Title: Government Finance in a Model of Currency Substitution