RIP SF Mayor Edwin Lee