Israeli security at Olympics tightened after assassination of Hamas leader Ismail Haniyeh