Bernie Sanders undergoes heart procedure

259