¿Qué implica liberar a Mario Marín?