Estaleiro Rio Grande demite mais de três mil funcionários