Colombia's Gustavo Petro met with Donald Trump at the White House for talks both leaders have descirbed as cordial and productive.