Shall casino gaming be permitted at a casino gaming establishment in the City of Richmond, Virginia, at 2001 Walmsley Boulevard and 4700 Trenton Avenue, Richmond, Virginia 23234 as may be approved by the Virginia Lottery Board?