Brief

Trump's budget includes $9.2B cut to Ed Dept