In fact, it is required.
Correct you are!
Now a leftist judge might attempt to prevent that by a treasonous ruling, but that’s a different matter.
Wouldn’t it be nice if they tried, got arrested by US Marines and tossed into Guantanamo?
THAT’S what I want for Christmas.