Numbers of mainland tourists on Jeju down during Labour Day weekend