How Trump got his Gaza deal done