The Lion King is a musical.