[Military operations, Dutch New Guinea