UK and EU agree revised texts of the Withdrawal Agreement and Political Declaration (17 October 2019)