Europe's jet fuel prices rally to record highs on Persian Gulf shut-in