World | Tue Aug 30, 2011 7:36pm BST

Israeli sends extra warships to patrol Red Sea