When Gustavo Petro was a guerrilla