Vietnam devalues dong to boost growth