Seol mar théacs é seo: Ceylon of the early travellers,