Casino; state lottery authorized to lease and operate a casi no in theinternational airport, and money appropriated.