The Ownership of the Flamingo Casino in Las Vegas