Shipping a crude cargo through Hormuz costs $20 million, TotalEnergies CEO says