George Washington would have done the exact same thing and probably stripped any rank.
Washington would have got the bastard in stocks and personally kicked his ass for 12 hours.
I wish Trump would too