[StressedDev]

If it's a fine, it probably goes to the United States Treasury or the SEC's budget. I also wouldn't be surprised if the settlement was not fully paid.