Colombia’s Petro visits Haiti to help bolster security amid gang violence