Colombians trade a record 1.72 billion greenbacks in one day