Donn set off a bomb at a federal building on state property, killing five people and injuring 20 others

Donn set off a bomb at a federal building on state property, killing five people and injuring 20 others. Donn was tried, convicted, and sentenced in both federal and state courts for his crimes and is currently reaching the end of his incarceration. What happens now? Consider the first three steps of the Criminal Justice Decision Making Model: 

-Define the problem (and the questions that need to be answered).
-Gather evidence (law, policy, procedure, data) and evaluate for relevancy.
-Weigh moral considerations and direct/indirect consequences.