Paul Johnson, eminent British historian and author