Edward J. Olsen (1927-2020)