Senate Republicans have formally removed funding for President Donald Trump’s ballroom security as part of their sprawling immigration funding package, according to revised legislative text released Wednesday.