Sedikitnya 15.000 aparat polisi akan dikerahkan untuk mengamankan peringatan Hari Buruh (May Day) di DKI Jakarta pada ...