US Strike on Colombia Odds: Will It Happen and When?