The Education Department has announced that half of its workforce will be fired. Here's what kinds of federal money Palm Beach County schools get.