Trabalhadores dos portos anunciam greve para 10 de julho