Major Gulf markets ease amid tensions after killing of Hamas leader - Reuters