Headlines on Demand: 6:00 p.m. (7/12/17)

Headlines on Demand: 6:00 p.m. (7/12/17)
Published: 6:07 PM PDT July 12, 2017