We're talking criminals, violent criminals who are having a growing impact on modern economies. There is nothing to negotiate, they have no political agenda and to date their risk as been very limited.

Is there a law of the sea that actually permits killing pirates on the spot? Is there a law that prohibits it?

What are the drawbacks from a more agressive policy?

What other options are feasible?