Five Things We Learned From the U.K. Government's New Release of Mandelson Files—and How Trump Is Mentioned