WordNet (r) 3.0 (2006):

Dutch East Indies
    n 1: a republic in southeastern Asia on an archipelago including
         more than 13,000 islands; achieved independence from the
         Netherlands in 1945; the principal oil producer in the Far
         East and Pacific regions [syn: Indonesia, Republic of
         Indonesia, Dutch East Indies]