How Many Trees Were Lost in Cedar Rapids Derecho?