Cole Porter's version of the story of Aladdin--his only musical written especially for television.