Cotton, Dorothy F., 1930-2018