So the WTO sets aside the rights of US Copyright holders and allows Antiqua to sell those works, allowing it to recover damages that the US Government has failed to pay. The government could "pay" the $21M fine and the WTO would rescind this, but if they do that then they show that they are wrong in denying access to the US market for Antiqua gambling interests. If they don't pay it, they are bound by membership in the WTO to abide by its decisions. It is a delicious paradox.