Departure of the last Indonesian troops from Dili