activity by a military or naval force (as a maneuver or campaign); "it was a joint operation of the navy and air force"
