on yesterday in 1732, the Royal Opera House was opened in London