Morning headlines 10-12-2017

Here are your top stories this Thursday, October 12, 2017.