Die CIA hat offenbar ein Hafendock in Venezuela attackiert. Es wäre eine schwer­wiegende Eskalation des Konflikts. Doch die näheren Umstände sind nebulös.