The Adventures of Pinocchio — 2007 opera by Jonathan Dove