Obituary: John J. Tomko Jr., 86