are mushrooms legal in costa rica