News, commentary, and a summary of the most important events for the week ending Friday, 17 July, 2020.