How many operas did the person who wrote the music for Haddon Hall make?