militär var utkommenderad för ordningens upprätthållande.