Lotus pond, Sri Lanka