QuickCheck: Did a teenager drown in a mining pool in Bandar Saujana Putra?

DISUSED mining pools are often used for recreation by youngsters, but their relatively tranquil appearance hides a host of dangers.

For one thing, mining pools can be deep, as they are essentially shafts dug into the ground.