Obituary: John E. Warner Jr., 84