Also, for comparison, the US military budget in 2021 was $700-800 billion.