Gulf stocks end mixed as US-Iran tensions linger - Reuters