Aladdin @ Kennedy Center - Opera House