Discovering Hanoi’s Khmer pagoda