Colombia may have to return $3.9B taxes on court ruling