Pragmatism Jim.
If he was not stopped, how many more deaths?
30 000 Pakistani civilians and 5000 of their miltary killed already.

The presence of civilians does not always make military action illegal.