Did American political understanding of "Domino theory" at all derive from any actual understanding of Communist ideology and the Marxist notion of a world revolution (eg. Lenin's or Trotsky's conception of it)?