Trump Made the Gaza Cease-Fire Happen