Ho Chi Minh City Opera House: visit notes, hours, tickets · Mike Lee