President, not the district's mayor, even when not federalized