Military manual · JP 3-0
JP 3-0, page 133
Joint Operations
Joint Publication: Joint Operations
…Strikes may be used to punish offending nations or groups, uphold
international law, or prevent those nations or groups from launching their own attacks
(e.g., Operation EL DORADO CANYON conducted against Libya in 1986, in…