If this isn't keeping Trump and his people up at night, they are more clueless then they seem. JEDI could be the doom of the Trump administration, and Amazon isn't going to back off this. I posted about it a few weeks ago, and it is progressing fast.
The reason this should scare Trump so much is that he has absolutely no cover from this. His base can't defend him, nor the GOP, not Putin. This is about cold hard cash, and lots of it. You can run over a lot of people in this world, and Trump has done so, but you get in the way of a multi-billion dollar government contract, and you just pissed off the sort of people that have real power.
Amazon probably can't drag Trump personally into court. They don't need too. Once they paint a clear picture of what this sort of irrational meddling can do to the profit margins of giant corporations, they can strip the entire GOP donor class from him. If they make that case to the donors, expect somebody like Buttigeg to get all the money in the world, and the Trump campaign to be broke by mid-June.