Who is best known for his work in alternate history, John Irving or Harry Turtledove?