31/07/2018 GMT

The latest news, business and sport from BBC News, plus your need-to-know guide to the big stories coming up today.