Well, the thing about “Saudi bigwigs” is there are a whole lot of them. Just the Royal family alone is like 3000 cousins and nieces and nephews, etc, and they are all very factional.
So what one wing of “the Saudi government” might have aided/encouraged was probably not known to all the rest of them.
Maybe the one that was in Las Vegas.