That mades sense, thanks. I didn’t realize that the state was precluded from charging the murders of the federal employees. That being the case, they are separate crimes.
The state could charge “first degree murder of John Smith,” but not “first degree murder of John Smith, federal employee” or “attempted murder of a U.S. Congresswoman.”