Is the difference between the undisbursed external debt of private creditors in 1980 and 1993 greater than the difference between the undisbursed external debt of official creditors in 1980 and 1993 ?