Trump's zero-tolerance Hormuz mine warning lifts WTI to $88