Last time I checked Gustavo Petro was still the current Colombian president.