Statistics for How shrimp farming wreaked havoc on Sri Lanka's coasts