attacco raffineria di petrolio a Gedda.