$800M oil short placed before Iran reopens Strait of Hormuz, prices fall to $80