USDA had already figured in reduced exports in the September WASDE.
So maybe not much?
And, yeah, I think 25mmt is a pipe dream right now.
We'll see.
https://www.usda.gov/oce/commodity/wasde/wasde0925.pdf