When will Big Bend border construction resume? Odds & Predictions