Indonesia's batik makers turn to mangroves for dye