“So did Laura Bush”.
...Laura is/was a smoker?
She definitely was a smoker, as to when and if she quit, I don’t know.