The effect of an exchange rate devaluation on a small open economy with an external debt overhang