Mayor of Erie, Pennsylvania — political office in the United States