Charles Petrie — British historian (1895–1977)