Traders Shift to $7B 'Nacho' Oil Bets as Hormuz Crisis Deepens