Exército põe 2,5 mil em prontidão em Brasília; papel de militares na intervenção não foi definido