From The Washington Post: Budget problems in Washington, D.C., will force its public schools to trim as much as $40 million in spending by the end of October, prompting teacher layoffs and, in some cases, increasing class sizes.