Operator (military)