Gustavo Petro, presidente de Colombia.