operating a derivative trade repository; or