Let the Military take care of their own. Put the gentlemen that were in the cafeteria in the same room with him unmonitored for punishment... it would be over soon enough.
I remember when this first happened and it was reported as an enemy attack
I was chatting the war with another dude and we were thinking "damn that's not good"
I was discussing this with the father of an x-marine officer buddy of mine at his wedding.