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