Trump: We’re going to open up the Gulf with or without them or the Strait, as they call it. It’s going to go pretty quickly, and if it doesn’t, we’ll be able to finish it off. One way or the other, it’s going well.