Intervenção militar necessária no Rio.