Pricing Currency Risk under Currency Boards