13:40BBC News17/07/2015BBC News Duration: 20 minutes Fri 17th Jul 2015, 13:40 on BBC News ChannelTwenty-four hours a day, the latest national and international stories as they break.GenresNewsFormatsBulletinsBrandBBC News Source: BBC Online