Statistics for A man made disaster? impacts of river sand mining in Sri Lanka