External debt of developing countries: a record amount of $9.4 trillion in 2025