At which Las Vegas casino was the movie "Casino" filmed?

At which Las Vegas casino was the movie "Casino" filmed?