Text this: La tipificación del delito de ejecución extrajudicial en Colombia