Theatre Royal (Covent Garden, London : active 1715-1931)