US-Präsident Donald Trump zeigte sich zufrieden mit dem Verlauf des Krieges - und gab dem Militäreinsatz in einem eigenwilligen Zahlenspiel 15 von zehn Punkten. "Wir schlagen uns sehr gut an der Kriegsfront, um es mal freundlich auszudrücken", sagte Trump bei einem Treffen mit Technologieunternehmern im Weißen Haus.