Además, se acuartelaron 38 mil efectivos de la Marina.