DIARIES: In 1662 his diary contained the first known British reference to Punchinello, later shortened to Punch