Yes, a Currency Devaluation Is Very Much Like a Tax