KENSICO MANAGEMENT, INC.