The federal budget deficit was $212 billion for the first three months of fiscal year 2016, CBO estimates.