FYI: I would have posted the same words had someone taken a shot at Jimmy Carter on the way to church.
The musical uses particular American historical events, this is the most recent. Perhaps this might have impacted the creators, perhaps not. I choose to think about this.