Infantería de Marina y 200 hombres de gendarmería.