The government likely hired a consulting firm and AWS was part of the solution proposed and bought.