Ownership of companies for Gator Capital Management, LLC