John fetterman died of a fatal stroke years ago.