História do peixe-boi-marinho “Astro” é retratada em documentário