Few details of the operation were immediately made public, including the number of arrests. But the sheer number of federal agencies involved showed President Donald Trump’s willingness to use federal ...