Royal Opera House Covent Garden: An Early History on Record