A hotel, casino, retail, and entertainment integrated resort.