News, commentary, and an extended summary of the major events for the week ending Friday, 12 July, 2019.