operasi pekat semeru 2017