What if WWI Really Had Ended By Christmas?