Covert operations and the development of international law on the use of force