20180717 world.rest-of-world: Indonesia police kill 11 in crime fight ahead of Asian Games