History for "royal opera house"