Statistics for Lanka's mangroves : a resource threatened