Headlines on Demand: 8:00 a.m. (7-12-17)

Headlines on Demand: 8:00 a.m. (7-12-17)
Published: 12:45 PM PDT July 12, 2017
Updated: 12:49 PM PDT July 12, 2017