staden Randy på Ceylon.