devaluation of the Vietnamese dong