Ernest Vandiver, Jr. (1918-2005)