Porco Rosso, the musical