I don't think they did, and anyway you're just trying to redirect to a different question.

No, it's core to the question of whether or not you should feel morally outraged by the targeting mistake.

Which is better, leave the regime alone to continue murdering its own citizens, or run the risk of accidentally bombing a hundred schoolchildren?

It's a pretty classic trolley problem.