«El Zorro», el musical