What are the consequences of the events of the Red Sea for the European economy?