Thu, May 23, 2013, 5:25 AM EDT - U.S. Markets open in 4 hrs 5 mins
I thought we held Petro Brasil. Did we actually sell out of that for this other crap?