opération lancée par la marine indonésienne