Deuda pública sumó $9,381.2 millones a noviembre de 2023