“Prior to the U.S. operation, minor Chinese oil companies known as "teapot traders" were buying Venezuelan oil, using ship-to-shore transfers off the coast of Malaysia and cryptocurrency payments to hide the transactions.”