The Dutch term "Ceylons" matches the English term "Ceylonese"