And then you woke up. It’s “martial” not marshal. A marshal is a law enforcement officer - eg. Wyatt Earp, the old marshal.