NBC: Sri Lanka gives public workers extra day off to grow food