Hanoi, water puppet theatre