Donald Trump was the essential element for the Gaza ceasefire