Shankar B. Pandit (1923-2019)