Hugh Thomas, Baron Thomas of Swynnerton