17/07/2018 GMT

The latest headlines plus a review of the day's papers, news websites and what's trending on social media.