It took just 15 minutes for more than 1,000 military police to occupy one of the most violent shanty towns in Rio de Janeiro, as dawn was breaking on Sunday morning.