Enraged by Indonesia’s noisy propaganda threats, The Netherlands sent off to Asian waters the aircraft carrier Karel Doorman.

All that is left of the once rich East Indies empire of the Dutch is the far-from-wealthy colony of West New Guinea. Indonesia, which inherited all the rest of the empire, covets New Guinea too. Enraged by Indonesia’s noisy propaganda threats, The Netherlands last June sent off to Asian waters…