Headlines on Demand: 5:00 p.m. (7/12/18)

Headlines on Demand: 5:00 p.m. (7/12/18)
Published: 6:39 PM PDT July 12, 2018
Updated: 1:39 PM PDT July 12, 2018