As a result, police deploy an additional 7,500 personnel.
Akibatnya, polisi mengerahkan 7.500 personil tambahan.