John Tate — American mathematician (1925-2019)