Indonesia annexed East Timor in 1976, a year after its troops intervened in a civil war that broke out during the last days of Portuguese rule. Assailants killed three soldiers and a civilian in the disputed territory of East Timor, Indonesia's official Antara news agency reported Sunday. Indonesia's military said Friday that it was ready to act against a threat from an East Timor rebel group to launch terrorist attacks. A U.N. envoy said Wednesday he was making progress in his efforts to mediate a settlement between Portugal and Indonesia on the disputed territory of East Timor.