Ejecución de Rentas de Ingresos julio 2023 (publicado 14 de agosto)