Miscellaneous 5 killed, including senior Iranian intelligence official, in Israeli air raid on Damascus 9 months ago