The Hanoi Opera House (Gedung Opera Hanoi).