Colombia police release details on operation that killed ‘Giovanni’