It’s just $13 BILLION, chump change for a government in debt to the tune of $18 TRILLION.
1.3 billion