Can a Currency Be Devalued?