$2,359,235,762 is the total value of the holdings KENSICO CAPITAL MANAGEMENT CORP reported in Q3 2023.