20 ribu personil gabungan tni polri