New York Times: Militärische Optionen, die Trump gegenüber Iran in Betracht zieht