el-pais-exporto-us-9738-millones-entre-enero-y-octubre