El ejército estadounidense confirmó por separado el despliegue de «aproximadamente 700 marines» de un batallón de infantería en la segunda ciudad más grande de Estados Unidos