World | Wed Jul 10, 2013 2:32pm EDT

Workers at Brazil port end protest; to resume strike Thursday