Ed Lee is going to run