Morning headlines 7-5-17

Morning headlines for Wednesday, July 5, 2017.