Highest temperature in NYC on October 17?