To be precise, it was never banned. It was regulated. So every export had to approved. And an export regulation is something different from seizing products outside the US, which were produced outside the US. It is also something different from rerouting ships to be able to seize their cargo.