Big Mike? Michelle Obama in 2024?
I believe the poster was referring to Mike Pompeo.
Wasn't "Big Mike" Michelle Obama's Secret Service code name? :-)