Strait of Hormuz reopens: What it means for Gulf Coast refinery margins and oil prices