Rio Casino sold for $516.3 million