Update: The Defibox Foundation has 22.5% of the total token supply currently. (This is currently about 200,000 BOX tokens of the 888,282 BOX supply)
As a result, I am in favor of option #3.
You can view Defibox Foundation's holdings here: https://bloks.io/tokens/BOX-eos-token.defi