ill see what i can dig up, but the UFC has a long, established history of running their audio through something called 'the van', which is basically a mobile production studio that will dub in whatever crowd response dana wants.
the live / pirate feed of this that was streaming in real time for whatever reason didnt have that feed, perhaps because it was the version for foreign broadcast with different announcers, but the audience boo'd trump and when the camera panned the tyson everyone was just basically silent.