Interesting these maps are missing many trees such as the DC missing those around the the capital building. Presumably because different organizations are in charge of them.
Yes there is a different map for DC parks: https://caseytrees.maps.arcgis.com/apps/webappviewer/index.h..., but it also doesn't have the ones right around the Capitol. I would guess that's because it is federal and not handled by the city? The White House is also not covered, but the Ellipse and the Mall right below it is.