Ownership of companies for Hi-Line Capital Management, LLC