Many natural ponds around Hà Nội have been filled in by developers. But one on the outskirts of the capital has been saved and converted into a swimming pool for the local community. Those behind the plan hope the pool will encourage children to be more active, and not sit around playing video games.