The cops should have shot Butler.
No doubt they would have liked to, but there would have been more paperwork involved.