The Washington Times called around to federal agencies yesterday asking what they’ll be calling their Christmas trees. Most folks are using the traditional Christmas moniker or don’t have an official name. Not so surprisingly, Norm Mineta’s Transportation Department calls theirs “holiday” trees.