Colombia’s coca production reaches all-time high