Our Man in Havana — opera