Entre ellos un batallón de infantes de marina.