Wann wurde mit der Eisenhower-Doktrin aufgehört?