I really don't think it would be a good idea to throw more guns into this mix. That will not help any protester and it will help Trump justify his decision to send the military, to his supporters. It will also escalate things. I'm sure most marines will be very hesitant to use force against unarmed American civilians. Half of them wouldn't even have voted for Trump. But if they're up against a militia all bets are off.