Holds 15% stake in Koch industries; worth $12.7B