Back in autumn, there were reports that some people were betting on when war would start. Now that it's begun, it's worthwhile thinking about how it might end. Here are some thoughts on five possible outcomes, from worst to best, and the likelihood of each: