Was the Killing of Osama bin Laden Legal?

Happy Holidays!