Mockus, Antanas, Colombia