[0cf8612b2e1e]

Depending on how the margin was setup, the thinking is that the trader could surrender the (now valued at $10 coins).