Princess and the Pea, a musical