Mike Lee? You mean Ed Lee? The guy who died in office?
Yes! Ed Lee. Not Mike. You see that, even I forgot about him already.
Maybe it was Stagger Lee?