Peter Davies — British historian (1927–2020)