devalued U.S. currency