The federal government ran another record deficit in December.