I figured they would know far better than I, but Google seems to confirm your info.
I'm not sure, either - that's why I was asking. I remember the "Mr. Rogers was a SEAL" stuff that went around when he passed.