Der Gaza-Krieg ist offenbar zu Ende. Doch im Küstenstreifen macht die Hamas Jagd auf ihre Gegner. Donald Trump kann damit leben.