Also it’s martial, not marshal, which is reasonably important as martial means pertaining to war, i.e. the army running things.