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