The Royal Botanical Gardens at Peradeniya, just outside Kandy, spread across a loop of the Mahaweli River — grand avenues of palms, an orchid house, giant Javan fig trees, and lawns that make an easy, shaded morning's stroll.