How many casinos were in the US in the year 2000?