Gaza Intervention Odds: When Do Foreign Troops Arrive?