UPDATE 1-Indonesia’s palm oil export ban does not threaten EU supply