History of Ceylon from the earliest period to the year 1815 by Philalethes.