The foreign exchange risk premium in atarget zone with devaluation risk