Happy #ArborDay! Capitol grounds have historic, diverse trees