To be fair, the department of defence did have the $10 billion JEDI cloud contract that Amazon and Microsoft were fighting for a few years ago, so it's not much of a stretch.