Ownership of companies for Himalaya Capital Management LLC