Former President George W. Bush Gets Heart Stent