Ernest Widtsoe Shumway (1927-2011)