Wenn ich mich nicht irre, war doch auch der Korea-Krieg offiziell kein Krieg, sondern eine Art "Polizeiaktion" ...