“No es necesario que una circular roja sea pública, pero es mejor que lo esté”: Ceballos sobre caso Mancuso