I know Pines is a big fan of CP and while I disagreed with some of his positions, he served his country with honor and was a major player in the Gulf War.  Looks like he had Covid complications aged 84.