Pet coke from Venezuela is reportedly being bought at a discount of 5–10% in comparison with pet coke from the…