Nalanda, Sri Lanka