»Killer«, »Rolling Thunder«, »Desert Storm«: Mit dem martialischen Namen für seinen Angriff auf Iran setzt Donald Trump eine fragwürdige Tradition der US-Militärgeschichte fort. So mancher Begriff wurde zum PR-Debakel.