Gunmen ‘attack Egyptian navy vessel’ http://www.bbc.co.uk/news/world-middle-east-30030767