It's unusual, or it used to be unusual. Over the last 10 years, we've earned about $17 billion of profit that goes to reduce the deficit. That's incorporated into the federal government accounts. Off to the side, we accumulate cash, and if that cash doesn't go back to the government, we'd sit on the cash and invest it. That's dumb, because it can be used to repay debt, so we paid a special dividend—someone will correct me—two years ago, I think, of $4 billion. Maybe it was last year. We were scheduled to pay another $2 billion. In addition to that, we pay a regular dividend, and that's basically just to make sure the money goes to retiring debt instead of sitting in my pockets, if you will.
On May 19th, 2020. See this statement in context.