Kensico Capital Management Corp