red mangroves costa rica