President-Elect Sheinbaum was previously the Head of Government of Mexico City, which is rather more proportionally important than Mayor of Washington D.C.