John Vincent — British historian (1937-2021)