¿Qué funciona: el INPE peruano o el CECOT salvadoreño?