This kind of device matching can be done across any of the carriers or their MVNOs, all of them give up the data when asked by a government entity. Many tower locations will even be identical across carriers, making the matching even easier.
Also this correlation could be done with stingray towers without bringing the cell carriers into the loop.