Broadcom will not fight President Trump’s executive order squashing the deal.