Statistics for How to eradicate dengue virus from Sri Lanka