Coral Casino Overview: History, Operations, and Industry Context.