‘Israeli commandos’ killed top Syrian official in 2008 – leaked US files