Aladdin
Kennedy Center Opera House - Washington DC, DE