World news headlines, October to end-December 2018