Cole Porter, Various Artists - Cole Porter's Aladdin