Documentário ‘O Brasil na Batalha do Atlântico’