What’s at stake for Europe if the Strait of Hormuz is blocked?